The Welch-Lynch Clock Synchronization Algorithm
نویسنده
چکیده
This note describes the Welch-Lynch fault-tolerant algorithm for clock synchronization. The original proof given by Welch and Lynch shows that the clocks of non-faulty nodes are maintained in approximate agreement. The worst-case skew is bounded by a constant which depends on network and algorithm parameters. We give a simpli ed proof of correctness and obtain tight synchronization bounds.
منابع مشابه
An Overview of Clock Synchronization
This is a summary of the theoretical work to date involving synchronizing clocks in distributed computer systems. It is based on talks given by Nancy Lynch and Barbara Simons at the IBM Fault-Tolerant Computing Workshop held at Asilomar, California, March 1986. Draft of February 24, 1999
متن کاملMechanical Veriication of Clock Synchronization Algorithms
Clock synchronization algorithms play a crucial role in a variety of fault-tolerant distributed architectures. Although those algorithms are similar in their basic structure , the particular designs diier considerably, for instance in the way clock adjustments are computed. This paper develops a formal generic theory of clock synchronization algorithms which extracts the commonalities of specii...
متن کاملMechanical Verification of Clock Synchronization Algorithms
Clock synchronization algorithms play a crucial role in a variety of fault-tolerant distributed architectures. Although those algorithms are similar in their basic structure, the particular designs diier considerably , for instance in the way clock adjustments are computed. This paper develops a formal generic theory of clock synchronization algorithms which extracts the commonalities of specii...
متن کاملClock Synchronization for Wireless Networks
Time synchronization is a fundamental service in many wireless applications. While the synchronization problem is well-studied in traditional wired networks, physical constraints of the wireless medium impose a unique set of challenges. We present a novel time synchronization algorithm which is highly energy efficient and failure/recovery-tolerant. Our algorithm allows nodes to synchronize to s...
متن کامل